Abstract syntax

Results: 599



#Item
561Lambda calculus / Type theory / Logic programming / Formal methods / Unification / Higher-order abstract syntax / Function / Hindley–Milner / Free variables and bound variables / Mathematics / Software engineering / Theoretical computer science

αProlog User’s Guide & Language Reference Version 0.3 DRAFT

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2004-10-28 08:33:38
562Syntax / Telicity / Grammatical aspect / Preposition and postposition / Unaccusative verb / Subject / Verb / Absolute construction / Predicate / Linguistics / Parts of speech / Grammar

Absolute Constructions: Telicity, Abstract Case, and Micro-variation

Add to Reading List

Source URL: www.lingref.com

Language: English - Date: 2013-07-01 12:55:23
563Grammaticalization / Lunfardo / Preposition and postposition / Lexical / Language / Clitic / Caló / Affix / Linguistics / Historical linguistics / Syntax

Andá a cantarle a Gardel: From the Abstract to the Concrete in el lunfardo porteño

Add to Reading List

Source URL: www.lingref.com

Language: English - Date: 2013-08-26 15:31:49
564Multi-agent systems / System software / System administration / Internet protocols / Internet standards / Simple Network Management Protocol / RMON / Abstract Syntax Notation One / Management information base / Network management / Information technology management / Computing

NuDesign Team Inc. Putting the “Simple” back into SNMP. SNMP Developers’ Applications Visual MIBuilderTM

Add to Reading List

Source URL: www.ndt-inc.com

Language: English - Date: 2007-05-12 03:50:33
565Serialization / Web service / Middleware / Abstract Syntax Notation One / Java Platform /  Standard Edition / Computing / Remote procedure call / SOAP

The MooDS protocol: a J2ME object-oriented communication protocol Romain Pellerin

Add to Reading List

Source URL: cedric.cnam.fr

Language: English - Date: 2008-09-24 05:58:38
566Software testing / Abstract Syntax Notation One / WiMAX / Adapter pattern / Common Object Request Broker Architecture / Microsoft Visual Studio / Adapter / Computing / TTCN / Software engineering

OpenTTCN Tester[removed]Data Sheet Version[removed]Date June 14, 2012

Add to Reading List

Source URL: downloads.openttcn.com

Language: English - Date: 2012-06-18 07:44:31
567Software testing / TTCN-3 / TTCN / Debuggers / Abstract Syntax Notation One / Debugging / Debug / Template / Computing / Software engineering / Computer programming

OpenTTCN Tester 2012 Introductory Tour to OpenTTCN Tester features

Add to Reading List

Source URL: downloads.openttcn.com

Language: English - Date: 2012-05-02 07:18:53
568Computing / Parser generators / SableCC / Parsing / Sable Research Group / Lexical analysis / Compiler / LL parser / Abstract syntax tree / Programming language implementation / Software / Compiler construction

SABLECC, AN OBJECT-ORIENTED COMPILER FRAMEWORK by

Add to Reading List

Source URL: sablecc.sourceforge.net

Language: English - Date: 2007-06-24 13:12:59
569Philosophical logic / Possibility / Non-classical logic / Logical syntax / Logical possibility / Accessibility relation / Possible world / Proposition / Entailment / Logic / Mathematical logic / Modal logic

LOGICAL, SCIENTIFIC AND REAL POSSIBILITY 1. Real vs. abstract possibility

Add to Reading List

Source URL: www.fphil.uniba.sk

Language: English - Date: 2008-12-12 15:34:57
570ISO standards / Network management / Abstract Syntax Notation One / Identifiers / Encoding Control Notation / XML / Basic Encoding Rules / X.690 / Packed Encoding Rules / Computing / OSI protocols / Information

INTERNATIONAL TELECOMMUNICATION UNION ITU-T

Add to Reading List

Source URL: www.itu.int

Language: English - Date: 2003-04-25 09:45:38
UPDATE